منابع مشابه
Inductive Logic Programming: From Logic of Discovery to Machine Learning
Inductive Logic Programming (ILP) is a study of machine learning systems that use clausal theories in first-order logic as a representation language. In this paper, we survey theoretical foundations of ILP from the viewpoints of Logic of Discovery and Machine Learning, and try to unify these two views with the support of the modern theory of Logic Programming. Firstly, we define several hypothe...
متن کاملLukasiewicz Logic: From Proof Systems To Logic Programming
We present logic programming style “goal-directed” proof methods for Lukasiewicz logic L that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational P...
متن کاملFrom Programs to Object Code using Logic and Logic Programming
A compiler may be speci ed by a description of how each construct of the source language is translated into a sequence of object code instructions. If the machine that interprets the object code is speci ed in the source language itself, then the compiler may be veri ed using algebraic laws about the programming language constructs. By adopting a subset of the programming language occam, we can...
متن کاملJ LOGIC PROGRAMMING to appear Constraint Logic Programming A Survey
Machine This section discusses some major issues in the design of an abstract machine for the execution of CLP programs The primary focus here will be on the design of the instruction set with emphasis on the interaction between their use and information obtained from a potential program analyzer Some elements of the runtime structure will also be mentioned In general the essential features of ...
متن کاملLogic Programming: From Underspecification to Undefinedness
The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood, but also for “undefined”. The three-valued semantics proposed by Fitting and by Kunen are closely related to what is computed by a logic program, the third truth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.1.78